home *** CD-ROM | disk | FTP | other *** search
/ Mac Mania 2 / MacMania 2.toast / Demo's / Tools&Utilities / Programming / HELP language 1.4 / Help Files / ATMS / test atms < prev   
Encoding:
Text File  |  1991-02-18  |  473 b   |  20 lines  |  [TEXT/Help]
  1.  
  2.  
  3.  
  4. (just '([(p1)(s1)][(p2)(s1)][(p2)(s2)][(p2)(s3)][(p3)(s2)][(p3)(s3)]))
  5.  
  6. (define l…nogoods (min!lts (pcart…lts (proj…lfe pd '(p1 p2 p3) (• ()())))))
  7.  
  8. l…nogoods
  9. ()
  10.  
  11. (just '([(p1)(s1)][(p2)(s1)][(p2)(s2)][(p2)(s3)][(p3)(s2)]
  12.   [(s1 s2)(etat)][(s3 etat)()]))
  13.  
  14. (define l…nogoods (min!lts (pcart…lts (proj…lfe pd '(p1 p2 p3) (• ()())))))
  15.  
  16. (pplts l…nogoods)
  17. { = ((p2)) }
  18.  
  19. (pplts (epurer (min!lts (pcart…lts (proj…lfe pd '(p1 p2 p3) (• () '(etat))))) l…nogoods))
  20. { = ((p1 p3)) }